首页> 外文OA文献 >Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation

【2h】

Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation

机译：标记过渡系统的一致性测试：实现关系和测试生成

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者

展开▼
作者单位

展开▼
年度 1999
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A test case generation approach for conformance testing of SDL Systems [J] . C.Bourhfir, E.Aboulhamid, R.Dssouli Computer Communications . 2001,第3a4期

机译：用于SDL系统一致性测试的测试用例生成方法
2. Towards Model based Generation of Self - Priming and Self - Checking Conformance Tests for Implementing Atomic Read/Write Shared Memory in Mobile Ad hoc Networks [J] . Fatma.A. Omara, Reham.A.Shihata International journal of computer science and network security . 2010,第4期

机译：在移动Ad hoc网络中实现原子读/写共享内存的基于模型的自启动和自检查一致性测试的产生。
3. Ibwards Model based Generation of Self - Priming and Self - Checking Conformance Tests for Implementing Atomic Read/Write Shared Memory in Mobile Ad hoc Networks [J] . Fatma.A. Omara, Reham A. Shihata International journal of computer science and network security . 2010,第4期

机译：用于移动Ad hoc网络中实现原子读/写共享内存的基于Ibwards模型的自启动和自检一致性测试的生成。
4. Mapping UML to Labeled Transition Systems for Test-Case Generation: A Translation via Object-Oriented Action Systems [C] . Willibald Krenn, Rupert Schlick, Bernhard K. Aichernig International Symposium Formal Methods for Components and Objects . 2010

机译：将UML映射到标记的转换系统以进行测试案例生成：通过面向对象动作系统的转换
5. Transition faults and transition path delay faults: Test generation, path selection, and built-in generation of functional broadside tests. [D] . Yao, Bo. 2013

机译：过渡故障和过渡路径延迟故障：测试生成，路径选择以及功能性侧面测试的内置生成。
6. Comparison of brief clinical delirium and cognitive testing among patients admitted via the trauma and orthopaedic acute intake – a service evaluation on the clinical dependence efficacy and accessibility of implementing Gwent orientation and awareness listing testing in relation to the 4AT at the Royal Gwent Hospital Newport [O] . Jack Wellington, Alexander Eggleton, Reem Naji, 2020

机译：在通过创伤和骨科急性摄入入院的患者中进行简短的临床and妄和认知测试的比较–对在纽波特的皇家根特医院进行4G定向进行Gwent定向和意识列表测试的临床依赖性疗效和可及性的服务评估
7. Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation [O] . Tretmans, G.J. 1996

机译：带标记的过渡系统的一致性测试：实现关系和测试生成
8. ISDN Conformance Testing Guidelines: Guidelines for Implementors of ISDN Customer Premises Equipment to Conform to Both National ISDN-1 and North American ISDN Users' Forum Layer 3 Basic Rate Interface Basic Call Control Abstract Test Suites [R] . Collica, L. A., Hoffman, D. M. 1994

机译：IsDN一致性测试指南：IsDN用户驻地设备实施者指南，以符合国家IsDN-1和北美IsDN用户论坛第3层基本速率接口基本呼叫控制抽象测试套件

Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation

著录项

引文网络

相似文献

相关主题

期刊订阅